1. Formal techniques for distributed systems :
Author: Holger Giese, Grigore Rosu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
2. 16, 2012. Proceedings-Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13
Author: / Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
